781. Progress in Industrial Mathematics at ECMI 2012
Author: / nther, Nicole MarheinekeیMagnus Fontes, Michael G
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: CONTROL SYSTEMS|ENGINEERING, CIVIL|ENGINEERING, INDUSTRIAL|ENGINEERING, MULTIDISCIPLINARY& ENGINEERING (uncategorised)|AUTOMATION &COMPUTER SCIENCE
Classification :
E-BOOK
782. Progress in applications of boolean functions /
Author: Tsutomu Sasao, Jon T. Butler [editors].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra, Boolean.,Cryptography-- Mathematics.,Data encryption (Computer science)-- Mathematics.,Data mining-- Mathematics.,Logic circuits-- Mathematics.,Algebra, Boolean.,Cryptography-- Mathematics.,MATHEMATICS-- Algebra-- General.
Classification :
QA10
.
3
783. Progress in cryptology - INDOCRYPT 2011 :
Author: Daniel J. Bernstein, Sanjit Chatterjee (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses,Cryptography, Congresses,Data encryption (Computer science), Congresses
Classification :
QA76
.
9
.
A25
I58
2011
784. Proof and system-reliability
Author: edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.
785. Proof technology and computation /
Author: edited by Helmut Schwichtenberg and Katharina Spies.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
Classification :
QA76
.
9
.
A96
N38
2003eb
786. Proposing a method based on Machine Learning to detect anomalies in Wireless Sensor networks
Author: Payam Jamal Malak Ali,Jamal Malak Ali,
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Machine Learning, Wireless Sensor Network, Anomalies, Anomaly Detection,یادگیری ماشین، تشخیص ناهنجاری، شبکه های حسگر بی سیم، ناهنجاری ها.
787. Public Key Cryptography ђ́أ PKC 2012
Author: edited by Marc Fischlin, Johannes Buchmann, Mark Manulis
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity,Computer Communication Networks,Computer science,Computer software,Data encryption (Computer science),Data protection,Information Systems,Algorithm Analysis and Problem Complexity,Computer Communication Networks,Computer Science,Data Encryption,Discrete Mathematics in Computer Science,Management of Computing and Information Systems,Systems and Data Security
788. Quality of Communication-Based Systems :
Author: edited by Günter Hommel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Mathematics.,Software engineering.
Classification :
QA76
.
9
.
A23
E358
1995
789. Quantitative measure for discrete event supervisory control /
Author: edited by Asok Ray, Vir V. Phoha, Shashi P. Phoha.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Discrete-time systems.,Supervisory control systems.,Discrete-time systems.,Informatique.,Supervisory control systems.,TECHNOLOGY & ENGINEERING-- Automation.,TECHNOLOGY & ENGINEERING-- Robotics.
Classification :
TJ222
.
Q36
2005
790. Quantum Cryptography-Post
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science. ; Computer communication systems. ; Computer security. ; Data encryption (Computer science). ; Algorithms. ; Computer science ; Mathematics. ; Management information systems. ; Computer Science. ; Data Encryption. ; Computer Communicatio
791. Quantum-like models for information retrieval and decision-making
Author: / Diederik Aerts ... [et al.], editors.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Information retrieval, -- Data processing,a04,Decision making -- Data processing.
Classification :
ZA3075
.
Q36
2019
792. Quantum physics and geometry /
Author: editors Edoardo Ballico, Alessandra Bernardi, Iacopo Carusotto, Sonia Mazzucchi and Valter Moretti.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Geometry.,Quantum theory.,Geometry.,Quantum theory.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.
Classification :
QC174
.
12
793. Random processes in physical systems
Author: / Charles A. Whitney
Library: Library of College of Science University of Tehran (Tehran)
Subject: Science -- Computer simulation,Random walks (Mathematics),Computer programming
Classification :
Q
183
.
9
.
W49
1990
794. Random processes in physical systems
Author: / by Charles Allen Witney
Library: Library of Faculty of Natural Resources (Alborz)
Subject: Science - computer simulation,Random walks (mathematics),Computer programming
Classification :
Q
183
.
9
.
W49
1990
795. Random processes in physical systems : an introduction to probability-based computer simulations
Author: Whitney, Charles Allen.
Library: Central Library and Documentation Center (Kerman)
Subject: Computer simulation ، Science,، Random walks )Mathematics(,، Programming )Electronic computers(
Classification :
Q
183
.
9
.
W49
1990
796. Random processes in physical systems : an introduction to probability-based computer simulations
Author: Whitney, Charles Allen.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Science-- Computer simulation,، Random walks )Mathematics(,، Programming )Electronic computers(
Classification :
Q
183
.
9
.
W49
1990
797. Reachability problems :
Author: Igor Potapov, Pierre-Alain Reynier (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
Classification :
QA76
.
76
.
V47
798. Reachability problems
Author: Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses,Computer systems-- Verification, Congresses,Decidability (Mathematical logic), Congresses
Classification :
QA76
.
76
.
V47
R6
2012eb
799. Reachability problems :
Author: Parosh Aziz Abdulla, Igor Potapov (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Computer systems -- Verification -- Congresses.,Decidability (Mathematical logic) -- Congresses.
Classification :
QA76
.
76
.
V47
P376
9999
800. Reaction kinetics :
Author: János Toth, Attila László Nagy, Dávid Papp.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemical kinetics-- Computer simulation.,Chemical kinetics-- Mathematical models.,Applications of Graph Theory and Complex Networks.,Math. Applications in Chemistry.,Mathematical Applications in the Physical Sciences.,Physical Chemistry.,Systems Biology.,Chemical kinetics-- Computer simulation.,Chemical kinetics-- Mathematical models.,Life sciences: general issues.,Mathematical modelling.,Mathematical physics.,Mathematics-- Applied.,Maths for scientists.,Physical chemistry.,Science-- Chemistry-- General.,Science-- Chemistry-- Physical & Theoretical.,Science-- Life Sciences-- General.,Science-- System Theory.
Classification :
QD502
